diff --git a/arch/powerpc/cpu/mpc85xx/Kconfig b/arch/powerpc/cpu/mpc85xx/Kconfig
index e4a7b88..c1003a3 100644
--- a/arch/powerpc/cpu/mpc85xx/Kconfig
+++ b/arch/powerpc/cpu/mpc85xx/Kconfig
@@ -244,16 +244,19 @@
 
 config TARGET_T2080QDS
 	bool "Support T2080QDS"
+	select ARCH_T2080
 	select SUPPORT_SPL
 	select PHYS_64BIT
 
 config TARGET_T2080RDB
 	bool "Support T2080RDB"
+	select ARCH_T2080
 	select SUPPORT_SPL
 	select PHYS_64BIT
 
 config TARGET_T2081QDS
 	bool "Support T2081QDS"
+	select ARCH_T2081
 	select SUPPORT_SPL
 	select PHYS_64BIT
 
@@ -400,6 +403,12 @@
 config ARCH_T1042
 	bool
 
+config ARCH_T2080
+	bool
+
+config ARCH_T2081
+	bool
+
 source "board/freescale/b4860qds/Kconfig"
 source "board/freescale/bsc9131rdb/Kconfig"
 source "board/freescale/bsc9132qds/Kconfig"